📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
The Challenges of Distributed Systems
newsletter.francofernando.com·12h·
Discuss: Hacker News
🤝Distributed Consensus
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·6h·
Discuss: Hacker News
🔐Capability Systems
Reimagining MCP via gRPC
medium.com·10h·
Discuss: Hacker News, r/golang
⚡gRPC
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·19h
🧮Kolmogorov Bounds
How to join the desync endgame: Practical tips from pentester Tom Stacey
portswigger.net·7h
🛣️BGP Hijacking
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
Rspamd 3.13 Launches with Redis-Backed Multiclass Bayes
linuxiac.com·9h
🧪CBOR Fuzzing
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·1d
👁️Observatory Systems
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
haskell/mtl
github.com·22h
🔗Functional Compilers
Webcast recap: see + secure everything in your OT environment
runzero.com·1d
🌐Network Security
Python Network Programming: TCP, UDP, Protocol Buffers & Connection Pooling Complete Guide
dev.to·13h·
Discuss: DEV
🌐Network Protocols
Filter the tools from MCP servers
blog.pamelafox.org·6h·
Discuss: www.blogger.com
⚡Proof Automation
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Application vs. Database: Where Should Permissions Live?
mergify.com·7h·
Discuss: Lobsters, Hacker News, r/programming
🗄️PostgreSQL WAL
Can a Data Race Happen on a Single-Core Machine?
aoli.al·7h·
Discuss: Hacker News
⚡Cache Coherence